$\forall$$k$:Knd, $l$:IdLnk. ($\uparrow$isrcvl($l$;$k$)) $\Leftarrow\!\Rightarrow$ (($\uparrow$isrcv($k$)) \& lnk($k$) = $l$)